(set-logic QF_UFBV)
(declare-const v0 Bool)
(declare-const v2 Bool)
(declare-const v8 Bool)
(declare-const bv_1-0 (_ BitVec 1))
(assert (= true v8 true true v0 true true true true (bvsgt bv_1-0 (bvcomp bv_1-0 bv_1-0)) (xor v0 v8 v2)))
(check-sat)
